大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Acadâemie des sciences (France) 的图书(共1520本)

Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

0
索取号:
作者:Bouajjani、 Ahmed.、Maler、 Oded.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

0
索取号:
作者:P膬s膬reanu、 Corina S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Engineering Societies in the Agents World IX [electronic resource] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers

0
索取号:
作者:Artikis、 Alexander.、Picard、 Gauthier.、Vercouter、 Laurent.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Complex Sciences [electronic resource] : First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2

0
索取号:
作者:Zhou、 Jie.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Complex Sciences [electronic resource] : First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1

0
索取号:
作者:Zhou、 Jie.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Combinatorial Pattern Matching [electronic resource] : 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings

0
索取号:
作者:Kucherov、 Gregory.、Ukkonen、 Esko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

0
索取号:
作者:Franceschinis、 Giuliana.、Wolf、 Karsten.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applied Cryptography and Network Security [electronic resource] : 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings

0
索取号:
作者:Abdalla、 Michel.、Pointcheval、 David.、Fouque、 Pierre-Alain.、Vergnaud、 Damien.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Functional Imaging and Modeling of the Heart [electronic resource] : 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings

0
索取号:
作者:Ayache、 Nicholas.、Delingette、 Herv茅.、Sermesant、 Maxime.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Reliable Software Technologies-Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

0
索取号:
作者:Kordon、 Fabrice.、Kermarrec、 Yvon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Vision/Computer Graphics CollaborationTechniques [electronic resource] : 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings

0
索取号:
作者:Gagalowicz、 Andr茅.、Philips、 Wilfried.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

0
索取号:
作者:Chaudron、 Michel R. V.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Designing E-Business Systems. Markets, Services, and Networks [electronic resource] : 7th Workshop on E-Business, WEB 2008, Paris, France, December 13, 2008, Revised Selected Papers

0
索取号:
作者:Weinhardt、 Christof.、Luckner、 Stefan.、St枚脽er、 Jochen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Enterprise Applications and Services in the Finance Industry [electronic resource] : 4th International Workshop, FinanceCom 2008, Paris, France, December 13, 2008. Revised Papers

0
索取号:
作者:Kundisch、 Dennis.、Veit、 Daniel J.、Weitzel、 Tim.、Weinhardt、 Christof.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Epistemological Aspects of Computer Simulation in the Social Sciences [electronic resource] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers

0
索取号:
作者:Squazzoni、 Flaminio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Evolutionary Multi-Criterion Optimization [electronic resource] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings

0
索取号:
作者:Ehrgott、 Matthias.、Fonseca、 Carlos M.、Gandibleux、 Xavier.、Hao、 Jin-Kao.、Sevaux、 Marc.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类